Dynamic logic - PDFSEARCH.IO - Document Search Engine

Dynamic logic
Results: 262

#	Item
91	An Integrated Modal Approach to Rational Agents W. van der Hoek B. van Lindery J.-J. Ch. Meyer Utrecht University { Department of Computer Science P.O. Box { 3508 TB Utrecht { The Netherlands Abstract Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1998-12-14 07:36:34 Artificial intelligence Science Philosophical logic Multi-agent systems Game theory Action theory Kripke semantics Dynamic logic Intelligent agent Logic Mathematical logic Modal logic
92	A Bisimulation for Dynamic Sealing Eijiro Sumii Benjamin C. Pierce University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2004-10-25 16:21:02 Lambda calculus Computability theory Fixed-point combinator Π-calculus Valuation Combinatory logic Theoretical computer science Mathematics Applied mathematics
93	CS 373: Combinatorial Algorithms, Spring 2001 Homework 1 (due Thursday, February 1, 2001 at 11:59:59 p.m.) Name: Net ID: Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 08:52:32 Algorithm Mathematical logic Theoretical computer science Randomized algorithm Factorial Dynamic programming XTR Fisher–Yates shuffle Mathematics Integer sequences Combinatorics
94	A Fuzzy SMART Based Dynamic Decision Making System: A Voltage Control Case Study Add to Reading List Source URL: www.mssanz.org.au Language: English - Date: 2013-01-15 18:23:18 Electrical engineering Operations research Systems engineering Artificial intelligence Logic in computer science Fuzzy logic Power flow study Mathematical optimization Control system Electromagnetism Science Systems theory
95	TUTORIAL BASIC MODAL LOGIC John-Jules Ch. Meyer Intelligent Systems, Utrecht University Modal logic is widely used in AI in general and the area of intelligent agents more in particular. In many papers some basic knowl Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2009-01-28 11:49:26 Epistemic modal logic Normal modal logic Deontic logic Common knowledge Temporal logic Dynamic logic Kripke semantics Multimodal logic Logic Mathematical logic Modal logic
96	Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland firstn Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2011-07-18 08:21:02 Logic in computer science Design by contract Eiffel Formal verification Software verification Postcondition KeY Formal methods Exception handling Software engineering Theoretical computer science Computing
97	TermWare: A Rewriting Framework for Rule-Based Programming Dynamic Applications A. Doroshenko1, R. Shevchenko2 1 Add to Reading List Source URL: www.gradsoft.com.ua Language: English - Date: 2005-10-06 06:06:53 Logic in computer science Formal languages Programming language semantics Combinatorics on words Rewriting Unification Drools Operational semantics Programming language Theoretical computer science Mathematics Applied mathematics
98	´ THE DISCRETE FRECHET DISTANCE WITH APPLICATIONS by Timothy Randall Wylie Add to Reading List Source URL: www.cs.montana.edu Language: English - Date: 2014-10-27 15:50:51 Applied mathematics Operations research Algorithm Mathematical logic Theoretical computer science Dynamic time warping Dynamic programming Mathematics Control theory Mathematical optimization
99	PDF Document Add to Reading List Source URL: fpt.wdfiles.com Language: English - Date: 2013-02-01 22:08:19 Mathematical logic Theoretical computer science Programming idioms Mathematical optimization Operations research Dynamic programming Algorithm Recursion Overlapping subproblems Mathematics Computer programming Applied mathematics
100	Relational Dynamic Influence Diagram Language (RDDL): Language Description Scott Sanner () NICTA and the Australian National University Abstract The Relational Dynamic Influence Diagram Language (RDDL) i Add to Reading List Source URL: rddlsim.googlecode.com Language: English - Date: 2014-10-06 22:18:15 Automated planning and scheduling Planning Domain Definition Language Logic in computer science Semantics Boolean algebra Fluent Bernoulli distribution FO Function Mathematics Mathematical logic Theoretical computer science

UPDATE